화제 끓는 냄비 화제 끓는 냄비에 대한 Property based testing 시도 (4) 끓는/보온 - 상태 천이에 맞게 구현 변경 에 계속 을 사용하여 Property based testing을 시도하고 있습니다. 소재로 에서 테스트 기반으로 지정됨 으로 결정했습니다. fast-check는 상태를 랜덤 워크 시켜 실패하는 테스트 케이스를 찾는 방법도 같기 때문에 슬슬 상태 천이를 생각하면서 이 기능을 시험해 가고 싶다고 생각하고 있는 오늘 요즘입니다만. 오늘은 property-based-testing의 화제가 아니라 구... property-based-testingfast-check테스트화제 끓는 냄비 화제 끓는 냄비에 대한 Property based testing 시도 (3) 끓는/보온 - 상태 천이를 생각한다 전원 on(plugIn())/off(plugOff())는 뚜껑의 상태에 따라 아래와 같이 상태를 왕래한다 뚜껑이 닫힌 경우 off <-> idle 뚜껑이 열려 있는 경우 open/off <-> open/on 마찬가지로 뚜껑의 상태는 전원 on(plugIn())/off(plugOff())에 따라 아래와 같이 상태를 왕래한다 전원 on의 경우 idle <-> open/on 전원 off의 경우 o... state-machine-cat테스트property-based-testing화제 끓는 냄비statemachine
화제 끓는 냄비에 대한 Property based testing 시도 (4) 끓는/보온 - 상태 천이에 맞게 구현 변경 에 계속 을 사용하여 Property based testing을 시도하고 있습니다. 소재로 에서 테스트 기반으로 지정됨 으로 결정했습니다. fast-check는 상태를 랜덤 워크 시켜 실패하는 테스트 케이스를 찾는 방법도 같기 때문에 슬슬 상태 천이를 생각하면서 이 기능을 시험해 가고 싶다고 생각하고 있는 오늘 요즘입니다만. 오늘은 property-based-testing의 화제가 아니라 구... property-based-testingfast-check테스트화제 끓는 냄비 화제 끓는 냄비에 대한 Property based testing 시도 (3) 끓는/보온 - 상태 천이를 생각한다 전원 on(plugIn())/off(plugOff())는 뚜껑의 상태에 따라 아래와 같이 상태를 왕래한다 뚜껑이 닫힌 경우 off <-> idle 뚜껑이 열려 있는 경우 open/off <-> open/on 마찬가지로 뚜껑의 상태는 전원 on(plugIn())/off(plugOff())에 따라 아래와 같이 상태를 왕래한다 전원 on의 경우 idle <-> open/on 전원 off의 경우 o... state-machine-cat테스트property-based-testing화제 끓는 냄비statemachine